Skip to content

Remove trio pip extra#390

Merged
sethmlarson merged 1 commit into
masterfrom
remove/trio-extra
Sep 26, 2019
Merged

Remove trio pip extra#390
sethmlarson merged 1 commit into
masterfrom
remove/trio-extra

Conversation

@florimondmanca

Copy link
Copy Markdown
Contributor

Prompted by #387

@sethmlarson sethmlarson merged commit f0e56c8 into master Sep 26, 2019
@sethmlarson sethmlarson deleted the remove/trio-extra branch September 26, 2019 11:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants